1. .....................
پدیدآورنده : Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
2. A mind at play :
پدیدآورنده : by Jimmy Soni and Rob Goodman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Shannon, Claude Elwood,1916-2001.,Shannon, Claude Elwood,(1916-2001),Shannon, Claude Elwood,1916-2001.,Electrical engineers-- United States, Biography.,Information theory.,Mathematicians-- United States, Biography.,BIOGRAPHY & AUTOBIOGRAPHY-- Science & Technology.,COMPUTERS-- Information Theory.,Electrical engineers.,Information theory.,Mathematicians.,Mathématiciens-- États-Unis-- Biographies.,TECHNOLOGY & ENGINEERING-- History.,Théorie de l'information.,United States., 7
رده :
QA29
.
S423
S66
2017
3. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
4. Adaptive information processing :
پدیدآورنده : Jeffrey R Sampson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA267
.
J444
2012
5. Affect and artificial intelligence /
پدیدآورنده : Elizabeth A. Wilson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Affect (Psychology),Artificial intelligence,Emotions,Information technology-- Psychological aspects
رده :
Q335
.
W554
2010
6. Alan Turing :
پدیدآورنده : edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
7. Algebraic Complexity Theory
پدیدآورنده : by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
9. <An> introduction to Gödel's Theorems
پدیدآورنده : \ Peter Smith
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
10. An introduction to formal languages and automata /
پدیدآورنده : Peter Linz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Formal languages.,Machine theory.
رده :
QA267
.
3
11. An introduction to the analysis of algorithms /
پدیدآورنده : Michael Soltys, California State University Channel Islands, USA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Textbooks.,Algorithms.,MATHEMATICS-- Numerical Analysis.
رده :
QA9
.
58
.
S63
2018
12. Artificial intelligence, evolutionary computing and metaheuristics :
پدیدآورنده : Xin-She Yang (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer algorithms.,Evolutionary computation.
رده :
Q335
.
X567
9999
13. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
14. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
15. Automata and Computability.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
16. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
17. Automata, computability and complexity :
پدیدآورنده : Elaine Rich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
18. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
19. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Lund <1993>,Theoretische Informatik.
